class BASENOERROR
    feature
         A alias "+" (s: INTEGER) : INTEGER
         do
            Result:=s+1
         end
         
         B(s : INTEGER) : INTEGER
         do
           Result:=s+1
         end
end

class DERIVEDNOERROR
       inherit BASENOERROR
            rename A as BASEA alias "+"
            redefine BASEA
       feature
            BASEA alias "+" (s : INTEGER) : INTEGER
            do
               Result:=s+1
            end
end

class DERIVEDNOERROR2
       inherit BASENOERROR
            rename A as BASEA alias "+"
            redefine BASEA
       feature
            BASEA(s : INTEGER) : INTEGER
            do
               Result:=s+1
            end
end

class DERIVEDNOERROR3
       inherit BASENOERROR
            rename A as BASEA
            redefine BASEA
       feature
            BASEA alias "+"(s : INTEGER) : INTEGER
            do
               Result:=s+1
            end
end

class DERIVEDNOERROR4
       inherit BASENOERROR
            rename A as BASEA
            redefine BASEA
       feature
            BASEA(s : INTEGER) : INTEGER
            do
               Result:=s+1
            end
end

class DERIVEDNOERROR5
       inherit BASENOERROR
       feature
            BASEA(s : REAL) : INTEGER
            do
               Result:=s+1
            end
end

